Make links to doc/lispintro/*.pdf.
authorGlenn Morris <rgm@gnu.org>
Tue, 27 Oct 2009 02:48:13 +0000 (02:48 +0000)
committerGlenn Morris <rgm@gnu.org>
Tue, 27 Oct 2009 02:48:13 +0000 (02:48 +0000)
commitcf0fbd9af146b3dc53899ce6721ac83067cbd745
tree4e5af8a78df8a49e2b12b9d9e07fc26e48f7d652
parent154004053bdfc2c1d8d126c486e6417e205387c9
Make links to doc/lispintro/*.pdf.
ChangeLog
make-dist